home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / Moscow ML / README < prev   
Encoding:
Text File  |  1995-10-13  |  4.5 KB  |  106 lines  |  [TEXT/R*ch]
  1. This is file README for Moscow ML 1.31 for Linux (15 October 1995)
  2.  
  3. EXTENT OF THE IMPLEMENTATION
  4.  
  5. The current version 1.31 of Moscow ML
  6.     * implements the entire Standard ML Core language
  7.     * implements separate compilation and a limited version of the
  8.       Standard ML Modules language, with signatures and structures
  9.       but no functors
  10.     * can produce compact stand-alone executables (as can Caml Light)
  11.     * includes several new libraries and a new type `char'
  12.     * supports quotations and antiquotations, useful for metaprogramming
  13.     * includes several new libraries and a new type `char'
  14.     * implements parts of the new SML Standard Library, but
  15.       not yet the I/O library
  16.  
  17. New in version 1.31:
  18.     * installable pretty-printers
  19.  
  20. SYSTEM REQUIREMENTS
  21.  
  22. Moscow ML was compiled under Linux 1.2.5 with gcc 2.4.5, and requires
  23. 2 MB of RAM or more.  The installation requires 1.5 MB disk space.
  24.  
  25. LIST OF FILES
  26.  
  27. Executables and bytecode files:
  28.     bin/*               Moscow ML top-level system and batch compiler
  29.     lib/*        Bytecode files and standard libraries
  30.     tools/*          Tools to infer unit inter-dependencies
  31.  
  32. Documentation files:
  33.     install.txt         Installation instructions for Linux
  34.     README        This file
  35.     doc/manual.dvi      User manual (DVI format)
  36.     doc/mosmlref.dvi    A compact guide to Moscow ML syntax and primitives
  37.     copyrght/*        Copyright notices (for Caml Light, SML/NJ, ...)
  38.  
  39. AUTHOR AND CREDITS
  40.  
  41. Moscow ML was written by
  42.     Sergei Romanenko (sergei-romanenko@refal.msk.su)
  43.     Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  44.     Miusskaya Pl. 4, 125047 Moscow, Russia.
  45. and Peter Sestoft (sestoft@dina.kvl.dk),
  46.     Department of Mathematics and Physics, Royal Veterinary and
  47.     Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, 
  48.     Denmark.  Most work was done at the Technical University of Denmark, 
  49.     and while visiting AT&T Bell Laboratories, New Jersey, USA.
  50.  
  51. Moscow ML is based on, and would not exist without:
  52.     * the CAML Light implementation by Xavier Leroy and Damien Doligez
  53.       (INRIA, Rocquencourt, France); especially the Caml Light bytecode
  54.       generator and the runtime system;
  55.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
  56.       (Copenhagen University, Denmark, and Edinburgh University, Scotland);
  57.  
  58. COPYRIGHT NOTICE FOR MOSCOW ML
  59.  
  60.     Moscow ML - a lightweight implementation of Core Standard ML.
  61.     Copyright (C) 1994, 1995 Sergei Romanenko, Moscow, Russia
  62.                              and Peter Sestoft, Copenhagen, Denmark.
  63.  
  64.     This program is free software; you can redistribute it and/or
  65.     modify it under the terms of the GNU General Public License
  66.     as published by the Free Software Foundation; either version 2
  67.     of the License, or (at your option) any later version.
  68.  
  69.     This program is distributed in the hope that it will be useful,
  70.     but WITHOUT ANY WARRANTY; without even the implied warranty of
  71.     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  72.     GNU General Public License in copyrght/gpl2 for more details.
  73.  
  74.     You should have received a copy of the GNU General Public License
  75.     along with this program; if not, write to the Free Software
  76.     Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  77.  
  78. Note that a number of source files are derived from the Caml Light
  79. distribution, copyright (C) 1993 INRIA, Rocquencourt, France.  Thus
  80. charging money for redistributing Moscow ML may require prior
  81. permission from INRIA; see the INRIA copyright notice in file
  82. copyrght/copyrght.cl.  The Caml Light system itself can be obtained
  83. from ftp.inria.fr:lang/caml-light.
  84.  
  85. AVAILABILITY
  86.  
  87.     * The DOS executables (and documentation) are in
  88.         ftp://ftp.dina.kvl.dk/pub/mosml/mos13bin.zip
  89.     * The Linux executables (and documentation) are in
  90.         ftp://ftp.dina.kvl.dk/pub/mosml/linux-mos13bin.tar.gz
  91.     * The DOS source files (no documentation) are in
  92.         ftp://ftp.dina.kvl.dk/pub/mosml/mos13src.zip
  93.     * The Unix source files (no documentation) are in
  94.         ftp://ftp.dina.kvl.dk/pub/mosml/mos13src.tar.gz
  95.  
  96. To compile Moscow ML for Unix systems, you will need the source files,
  97. gcc, make, and Perl.  Moscow ML has been rewritten in ML and can
  98. compile itself; hence the installation under Unix has become simpler.
  99.  
  100. To recompile Moscow ML for MS DOS, you will need the source files,
  101. djgpp, perl, and Borland C++ version 2.0 (or later).
  102.     * Djgpp and go32 can be obtained from oak.oakland.edu:/pub/msdos/djgpp/
  103.  
  104.  
  105. THE MOSCOW ML HOME PAGE is at  http://www.dina.kvl.dk/~sestoft/mosml.html
  106.